objref6(State):
  < State`name = "q1",
    State`transitions = [ objref11(Transition):
        < Transition`endState = objref7,
          Transition`name = "t1",
          Transition`startState = objref6 >,
      objref13(Transition):
        < Transition`endState = objref9,
          Transition`name = "t3",
          Transition`startState = objref6 > ] >

